(declare-const x1 Bool)
(declare-const x Bool)
(declare-fun z () Int)
(declare-fun b () (Seq Int))
(declare-fun y () Int)
(declare-fun a () (Seq Int))
(declare-fun l () Bool)
(declare-fun l2 () Bool)
(declare-fun l29 () Bool)
(assert (and (= (seq.nth a 0) (seq.nth a z)) (= (seq.nth b y) (seq.nth b z))))
(assert l)
(assert (= z 5))
(assert l29)
(assert x)
(assert l2)
(assert (> y 1))
(check-sat)
